1.
Real-Time Systems: Scheduling, Analysis, and Verification
by Albert M. K. Cheng
ISBN: 9780471184065
List Price: $169.00
2.
Operating Systems and Embedded Programming : From VCRs and PDAs to Avionics and Sensor Networks
by Cheng, Albert M. K.
ISBN: 9780471486015
List Price: $99.95